Rebecca W, "Computability Theory"
計算可能性理論
について